41. Degrees of unsolvability
المؤلف: Shoenfield, Joseph Robert
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(
رده :
QA
9
.
S518
42. Degrees of unsolvability
پدیدآورنده : Sacks, Gerald E.
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
43. Elementary induction on abstract structure
المؤلف: Moschovakis, Yiannis N
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Induction )Mathematics(
رده :
QA
248
.
5
.
M67
44. Elementary induction on abstract structures
پدیدآورنده : Moschovakis, Yiannis N.
موضوع : ، Recursive functions,، Induction )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
45. Elementary induction on abstract structures
المؤلف: Moschovakis, Yiannis N.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Recursive functions,، Induction )Mathematics(
رده :
QA
248
.
5
.
M67
46. Elementary induction on abstract structures
المؤلف: / Yiannis N. Moschovakis
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Recursive functions,Induction (Mathematics)
رده :
511
.
2
M896
47. Enumerability, decidability, computability. An introduction to the theory of recursive functions
المؤلف: Harmes, Hans
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Recursive functions,، Algebraithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
48. Enumerability, decidability, computability; an introduction to the theory of recursive functions
پدیدآورنده : Hermes, Hans.
موضوع : ، Recursive functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
49. Enumerability decidability computability : an introduction to the theory of recursive functions
المؤلف: Hermes, Hans
المکتبة: (طهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem
رده :
QA
248
.
5
.
H413
1969
50. Formal systems and recursive functions /
المؤلف: edited by J.N. Crossley and M.A.E. Dummett.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
51. Fundamentals of computation theory; proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, 19-23 Sept 1977
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Recursive Functions
رده :
QA
248
.
5
.
I5
52. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
53. Generalized recursion theory; proceedings of the 1972 Oslo Symposium
المؤلف: / edited by J. E. Fenstad and P. G. Hinman
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Recursive functions
رده :
515
.
25
S989
1972
54. Introduction to computability
پدیدآورنده : Hennie, Fredreick C
موضوع : ، Turing machies,، Algorithms,، Recursive Functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
55. Introduction to computability
المؤلف: Hennie, Frederick C.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Turing machines,، Algorithms,، Computational complexity,، Recursive functions
رده :
QA
267
.
H46
56. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
57. Lecons sur les fonctions calculables
المؤلف: / par V. A. Quspendki. Traduit du russe par Andre Chauvin
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Recursive functions
رده :
Q
111
A3
58. Lecons sur les fonctions calculables
المؤلف: Uspenskii, Vladimir Andreevich
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions
رده :
Q
111
.
A3
no
.
1317
59. Logic Colloquim 77. Proceedings of the Colloquium held in Wroclaw, August 1977
المؤلف: Logic Colloquium, Wroclaw, Poland
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Recursive functions-- Congresses
رده :
QA
9
.
A1
.
L63
1977
60. Minimum impatience theorems for recorsive economic models
المؤلف: Gerhard Sorger
المکتبة: (کرمان)
موضوع: Recursive functions
رده :
QA
9
.
615
.
S6
,
M5
